Revision of Australian Defence Standard Def ( Aust ) 5679

Guidance for Def ( Aust ) 5679

The Australian Standard for safety-critical systems development, Def(Aust) 5679, was first released in 1998. As part of the release of Issue 2 (Department of Defence 2008) of the Standard, guidance material has been prepared to assist those who need to apply the Standard. The guidance is made up of three main parts: a case study that demonstrates how the Standard can be applied to an example sa...

Computer-Based Safety Critical Systems in Defence: Def (Aust) 5679

DOVE: A Tool for Design Modelling and Verification in Safety Critical Systems

Safety critical computer-based systems are now in widespread use in Defence. A number of current standards such as the UK Defence Standards 0055 and 00-56 and the recently proposed Def (Aust) Standard DR5679 require the use of formal mathematical modeling and reasoning to provide sufficient assurance of safety of system design. The analysis of system design at an early stage is a crucial step i...

A Comparison of MIL-STD 882C and MIL-STD 882D for Australian Defence Acquisition

This report compares the use of the system safety standard MIL-STD 882C with MILSTD 882D for the use of Australian Defence Acquisition. It summarises the differences between the standards and examines the implications of the transition from MIL-STD 882C to MIL-STD 882D in the Australian Defence Acquisition environment. The conclusion drawn is that the approach taken by MIL-STD-882D relies on an...

A New Concept in Defence Safety Standards: The Revised UK Defence Standard 00-56

In January 2005 the UK Ministry of Defence released Issue 3 of Defence Standard 00-56 (MOD 2004). This standard provides a comprehensive structure for safety management and for engineering safety into defence equipment and services. The standard moves away from mandating specific processes and instead takes a goalbased approach that requires suppliers to justify their systems by means of safety...